[[Things as categories]]
# Groups as categories

A [[group]] is equivalent to a single-object [[groupoid]].
Adopting this viewpoint

- A [[group homomorphism]] is a [[functor]] of groups-as-categories
- The [[direct product of groups]] is the [[product category]] of groups-as-categories

#
---
#state/develop | #lang/en | #SemBr